A Functional Description of TEX's Formula Layout
نویسندگان
چکیده
While the quality of the results of T E X's mathematical formula layout algorithm is convincing, its original description is hard to understand since it is presented as an imperative program with complex control ow and destructive manipulations of the data structures representing formulae. In this paper, we present a re-implementation of T E X's formula layout algorithm in the functional language SML, thereby providing a more readable description of the algorithm, extracted from the monolithical T E X system.
منابع مشابه
Formula Layout Formula Layout
Both the quality of the results of TEX s formula layout algorithm and the complexity of its description in the TEXbook are hard to beat The algorithm is verbally described as an imperative program with very complex control ow and complicated manipulations of the data structures representing formulae In a forthcoming textbook we describe TEX s formula layout algorithm as a functional program tra...
متن کاملOptimal design problems for two-phase conducting composites with weakly discontinuous objective functionals
We consider the relatively simple but non-trivial example of an optimal design problem with a weakly discontinuous objective functional. The objective functional is quadratic and was suggested by Tartar in his “Remarks on optimal design” paper. We analyze a problem of finding a layout of a conducting composite such that the fields in both phases provide least squares fit to a given field. The m...
متن کاملExtensible layout in functional documents
Highly customised variable-data documents make automatic layout of the resulting publication hard. Architectures for defining and processing such documents can benefit if the repertoire of layout methods available can be extended smoothly and easily to accommodate new styles of customisation. The Document Description Framework incorporates a model for declarative document layout and processing ...
متن کاملمعرفی الگوهایی برای آموزش دانشگاهی نقد هنر تجسمی
Art criticism, defined as informed dialogue about the work of art, and an attempt to elucidate its meaning, is an activity based on principles, methodologies, procedures and theoretical frameworks which altogether make the practice of criticism possible. There are various, and mainly subjective, approaches to the art criticism practice. This variety makes it remarkably difficult to elicit and d...
متن کاملThe Lhc Functional Layout Database as Foundation of the Controls System
For the design, construction, integration and installation of the LHC, the LHC Layout database manages the information on the functional positions of the components of the LHC. Since January 2005, the scope of this database has been extended to include all electronics racks in the tunnel, underground areas and surface buildings. This description of the accelerator and the installed controls top...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Funct. Program.
دوره 7 شماره
صفحات -
تاریخ انتشار 1997